how to prove a relation is an equivalence relation